[next] [prev] [prev-tail] [tail] [up]

2.2.12 Integrals 1101 to 1200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

215 215 1108 360 0 245 0 0 269

N.S.

1 1.00 5.15 1.67 0.00 1.14 0.00 0.00 1.25

time (sec)

N/A 0.433 6.598 0.141 0.000 0.484 0.000 0.000 5.011

Problem 1102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

211 211 1089 704 0 247 0 0 237

N.S.

1 1.00 5.16 3.34 0.00 1.17 0.00 0.00 1.12

time (sec)

N/A 0.429 6.655 0.157 0.000 1.127 0.000 0.000 5.622

Problem 1103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

213 213 1085 939 0 253 0 0 279

N.S.

1 1.00 5.09 4.41 0.00 1.19 0.00 0.00 1.31

time (sec)

N/A 0.438 6.706 0.263 0.000 0.785 0.000 0.000 6.040

Problem 1104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

213 213 1102 985 0 259 0 0 279

N.S.

1 1.00 5.17 4.62 0.00 1.22 0.00 0.00 1.31

time (sec)

N/A 0.450 6.781 0.296 0.000 1.124 0.000 0.000 7.836

Problem 1105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

246 246 1135 1219 0 279 0 0 308

N.S.

1 1.00 4.61 4.96 0.00 1.13 0.00 0.00 1.25

time (sec)

N/A 0.468 6.854 0.356 0.000 0.670 0.000 0.000 7.268

Problem 1106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

279 279 1179 1381 0 299 0 0 621

N.S.

1 1.00 4.23 4.95 0.00 1.07 0.00 0.00 2.23

time (sec)

N/A 0.489 6.959 0.415 0.000 1.191 0.000 0.000 7.416

Problem 1107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

192 192 1393 295 0 280 0 0 -1

N.S.

1 1.00 7.26 1.54 0.00 1.46 0.00 0.00 -0.01

time (sec)

N/A 0.200 6.745 0.124 0.000 0.739 0.000 0.000 0.000

Problem 1108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

159 159 1345 277 0 263 0 0 -1

N.S.

1 1.00 8.46 1.74 0.00 1.65 0.00 0.00 -0.01

time (sec)

N/A 0.185 6.714 0.122 0.000 0.876 0.000 0.000 0.000

Problem 1109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

122 122 1300 262 0 250 0 0 -1

N.S.

1 1.00 10.66 2.15 0.00 2.05 0.00 0.00 -0.01

time (sec)

N/A 0.167 6.591 0.129 0.000 0.766 0.000 0.000 0.000

Problem 1110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

84 84 1270 245 0 239 0 0 -1

N.S.

1 1.00 15.12 2.92 0.00 2.85 0.00 0.00 -0.01

time (sec)

N/A 0.157 6.567 0.120 0.000 0.756 0.000 0.000 0.000

Problem 1111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

112 112 1304 316 0 288 0 0 -1

N.S.

1 1.00 11.64 2.82 0.00 2.57 0.00 0.00 -0.01

time (sec)

N/A 0.169 6.672 0.144 0.000 0.591 0.000 0.000 0.000

Problem 1112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

150 150 1337 459 0 314 0 0 -1

N.S.

1 1.00 8.91 3.06 0.00 2.09 0.00 0.00 -0.01

time (sec)

N/A 0.179 7.124 0.204 0.000 0.681 0.000 0.000 0.000

Problem 1113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

192 192 1382 776 0 333 0 0 -1

N.S.

1 1.00 7.20 4.04 0.00 1.73 0.00 0.00 -0.01

time (sec)

N/A 0.194 7.488 0.269 0.000 0.936 0.000 0.000 0.000

Problem 1114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

196 196 1398 451 0 378 0 0 -1

N.S.

1 1.00 7.13 2.30 0.00 1.93 0.00 0.00 -0.01

time (sec)

N/A 0.276 6.942 0.133 0.000 0.559 0.000 0.000 0.000

Problem 1115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

161 161 1355 437 0 366 0 0 -1

N.S.

1 1.00 8.42 2.71 0.00 2.27 0.00 0.00 -0.01

time (sec)

N/A 0.263 6.813 0.192 0.000 0.976 0.000 0.000 0.000

Problem 1116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

130 130 934 352 0 318 0 0 -1

N.S.

1 1.00 7.18 2.71 0.00 2.45 0.00 0.00 -0.01

time (sec)

N/A 0.243 6.622 0.125 0.000 0.381 0.000 0.000 0.000

Problem 1117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

125 125 1322 423 0 354 0 0 -1

N.S.

1 1.00 10.58 3.38 0.00 2.83 0.00 0.00 -0.01

time (sec)

N/A 0.257 6.737 0.124 0.000 0.746 0.000 0.000 0.000

Problem 1118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

151 151 954 450 0 367 0 0 -1

N.S.

1 1.00 6.32 2.98 0.00 2.43 0.00 0.00 -0.01

time (sec)

N/A 0.264 6.772 0.155 0.000 0.548 0.000 0.000 0.000

Problem 1119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

189 189 1391 711 0 427 0 0 -1

N.S.

1 1.00 7.36 3.76 0.00 2.26 0.00 0.00 -0.01

time (sec)

N/A 0.286 7.492 0.253 0.000 0.538 0.000 0.000 0.000

Problem 1120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

250 250 1507 479 0 489 0 0 -1

N.S.

1 1.00 6.03 1.92 0.00 1.96 0.00 0.00 -0.00

time (sec)

N/A 0.405 7.249 0.151 0.000 0.963 0.000 0.000 0.000

Problem 1121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

209 209 1470 465 0 478 0 0 -1

N.S.

1 1.00 7.03 2.22 0.00 2.29 0.00 0.00 -0.00

time (sec)

N/A 0.371 7.046 0.151 0.000 0.579 0.000 0.000 0.000

Problem 1122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

186 186 1446 451 0 467 0 0 -1

N.S.

1 1.00 7.77 2.42 0.00 2.51 0.00 0.00 -0.01

time (sec)

N/A 0.367 6.918 0.161 0.000 1.013 0.000 0.000 0.000

Problem 1123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

184 184 1439 451 0 467 0 0 -1

N.S.

1 1.00 7.82 2.45 0.00 2.54 0.00 0.00 -0.01

time (sec)

N/A 0.357 6.878 0.138 0.000 0.669 0.000 0.000 0.000

Problem 1124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

180 180 1436 451 0 465 0 0 -1

N.S.

1 1.00 7.98 2.51 0.00 2.58 0.00 0.00 -0.01

time (sec)

N/A 0.349 6.878 0.146 0.000 0.734 0.000 0.000 0.000

Problem 1125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

209 209 1473 679 0 515 0 0 -1

N.S.

1 1.00 7.05 3.25 0.00 2.46 0.00 0.00 -0.00

time (sec)

N/A 0.385 7.127 0.190 0.000 1.124 0.000 0.000 0.000

Problem 1126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

242 242 1505 876 0 542 0 0 -1

N.S.

1 1.00 6.22 3.62 0.00 2.24 0.00 0.00 -0.00

time (sec)

N/A 0.385 7.899 0.201 0.000 1.291 0.000 0.000 0.000

Problem 1127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 109 119 507 110 0 0 -1

N.S.

1 1.00 0.51 0.56 2.38 0.52 0.00 0.00 -0.00

time (sec)

N/A 0.393 0.314 0.635 0.658 3.595 0.000 0.000 0.000

Problem 1128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 90 97 387 92 0 0 -1

N.S.

1 1.00 0.54 0.58 2.30 0.55 0.00 0.00 -0.01

time (sec)

N/A 0.332 0.303 0.200 0.644 3.296 0.000 0.000 0.000

Problem 1129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 68 77 231 76 0 0 -1

N.S.

1 1.00 0.56 0.63 1.89 0.62 0.00 0.00 -0.01

time (sec)

N/A 0.283 0.263 0.174 0.633 4.364 0.000 0.000 0.000

Problem 1130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 92 199 355 323 0 0 -1

N.S.

1 1.00 0.68 1.46 2.61 2.38 0.00 0.00 -0.01

time (sec)

N/A 0.269 0.585 0.208 0.616 4.250 0.000 0.000 0.000

Problem 1131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 90 209 731 355 0 0 -1

N.S.

1 1.00 0.67 1.55 5.41 2.63 0.00 0.00 -0.01

time (sec)

N/A 0.266 0.668 0.214 0.611 2.155 0.000 0.000 0.000

Problem 1132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 105 313 1507 391 0 0 -1

N.S.

1 1.00 0.73 2.17 10.47 2.72 0.00 0.00 -0.01

time (sec)

N/A 0.271 0.590 0.207 0.671 2.460 0.000 0.000 0.000

Problem 1133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 125 375 2740 427 0 0 -1

N.S.

1 1.00 0.66 1.98 14.50 2.26 0.00 0.00 -0.01

time (sec)

N/A 0.334 1.009 0.177 0.745 2.803 0.000 0.000 0.000

Problem 1134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 152 437 4417 461 0 0 -1

N.S.

1 1.00 0.65 1.87 18.88 1.97 0.00 0.00 -0.00

time (sec)

N/A 0.389 1.640 0.191 0.929 3.142 0.000 0.000 0.000

Problem 1135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 125 142 652 136 0 0 -1

N.S.

1 1.00 0.47 0.53 2.45 0.51 0.00 0.00 -0.00

time (sec)

N/A 0.552 2.029 0.230 0.672 2.344 0.000 0.000 0.000

Problem 1136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 103 120 544 117 0 0 -1

N.S.

1 1.00 0.47 0.55 2.48 0.53 0.00 0.00 -0.00

time (sec)

N/A 0.490 1.358 0.212 0.631 2.910 0.000 0.000 0.000

Problem 1137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 85 98 368 98 0 0 -1

N.S.

1 1.00 0.50 0.58 2.18 0.58 0.00 0.00 -0.01

time (sec)

N/A 0.369 0.932 0.179 0.619 3.238 0.000 0.000 0.000

Problem 1138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 105 212 694 367 0 0 -1

N.S.

1 1.00 0.57 1.16 3.79 2.01 0.00 0.00 -0.01

time (sec)

N/A 0.397 0.900 0.214 0.646 2.078 0.000 0.000 0.000

Problem 1139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 110 243 1354 393 0 0 -1

N.S.

1 1.00 0.58 1.29 7.16 2.08 0.00 0.00 -0.01

time (sec)

N/A 0.398 0.956 0.207 0.606 3.164 0.000 0.000 0.000

Problem 1140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 120 345 2520 423 0 0 -1

N.S.

1 1.00 0.63 1.81 13.19 2.21 0.00 0.00 -0.01

time (sec)

N/A 0.406 1.486 0.214 0.730 2.728 0.000 0.000 0.000

Problem 1141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 126 376 3506 437 0 0 -1

N.S.

1 1.00 0.66 1.97 18.36 2.29 0.00 0.00 -0.01

time (sec)

N/A 0.427 1.916 0.154 0.780 4.005 0.000 0.000 0.000

Problem 1142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 154 438 5761 469 0 0 -1

N.S.

1 1.00 0.65 1.84 24.21 1.97 0.00 0.00 -0.00

time (sec)

N/A 0.491 3.135 0.161 0.977 4.214 0.000 0.000 0.000

Problem 1143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

285 285 176 500 7235 509 0 0 -1

N.S.

1 1.00 0.62 1.75 25.39 1.79 0.00 0.00 -0.00

time (sec)

N/A 0.534 4.664 0.195 1.477 4.207 0.000 0.000 0.000

Problem 1144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 206 166 852 168 0 0 -1

N.S.

1 1.00 0.66 0.53 2.72 0.54 0.00 0.00 -0.00

time (sec)

N/A 0.674 6.597 0.256 0.657 2.967 0.000 0.000 0.000

Problem 1145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 127 144 695 146 0 0 -1

N.S.

1 1.00 0.48 0.54 2.61 0.55 0.00 0.00 -0.00

time (sec)

N/A 0.605 2.437 0.224 0.655 3.838 0.000 0.000 0.000

Problem 1146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 105 122 580 127 0 0 -1

N.S.

1 1.00 0.49 0.56 2.69 0.59 0.00 0.00 -0.00

time (sec)

N/A 0.417 1.609 0.194 0.637 3.908 0.000 0.000 0.000

Problem 1147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 125 236 849 429 0 0 -1

N.S.

1 1.00 0.54 1.03 3.69 1.87 0.00 0.00 -0.00

time (sec)

N/A 0.515 1.533 0.155 0.656 3.403 0.000 0.000 0.000

Problem 1148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 131 245 8175 453 0 0 -1

N.S.

1 1.00 0.57 1.07 35.54 1.97 0.00 0.00 -0.00

time (sec)

N/A 0.518 1.590 0.152 0.882 3.745 0.000 0.000 0.000

Problem 1149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

244 244 139 378 3421 473 0 0 -1

N.S.

1 1.00 0.57 1.55 14.02 1.94 0.00 0.00 -0.00

time (sec)

N/A 0.541 1.755 0.163 3.502 4.854 0.000 0.000 0.000

Problem 1150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 144 409 14964 485 0 0 -1

N.S.

1 1.00 0.61 1.72 62.87 2.04 0.00 0.00 -0.00

time (sec)

N/A 0.533 2.379 0.164 0.969 5.329 0.000 0.000 0.000

Problem 1151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 155 440 6687 497 0 0 -1

N.S.

1 1.00 0.65 1.85 28.10 2.09 0.00 0.00 -0.00

time (sec)

N/A 0.542 3.536 0.164 3.691 6.454 0.000 0.000 0.000

Problem 1152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

285 285 178 502 8852 537 0 0 -1

N.S.

1 1.00 0.62 1.76 31.06 1.88 0.00 0.00 -0.00

time (sec)

N/A 0.623 3.532 0.171 1.598 3.560 0.000 0.000 0.000

Problem 1153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

332 332 200 564 11081 577 0 0 -1

N.S.

1 1.00 0.60 1.70 33.38 1.74 0.00 0.00 -0.00

time (sec)

N/A 0.687 4.768 0.218 2.576 4.182 0.000 0.000 0.000

Problem 1154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

244 244 166 206 671 384 0 0 -1

N.S.

1 1.00 0.68 0.84 2.75 1.57 0.00 0.00 -0.00

time (sec)

N/A 0.540 1.812 0.187 0.667 3.760 0.000 0.000 0.000

Problem 1155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 153 184 553 352 0 0 -1

N.S.

1 1.00 0.76 0.92 2.75 1.75 0.00 0.00 -0.00

time (sec)

N/A 0.412 0.447 0.227 0.644 2.787 0.000 0.000 0.000

Problem 1156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 73 171 373 322 0 0 -1

N.S.

1 1.00 0.47 1.10 2.39 2.06 0.00 0.00 -0.01

time (sec)

N/A 0.301 0.626 0.187 0.636 4.220 0.000 0.000 0.000

Problem 1157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 93 223 712 489 0 0 -1

N.S.

1 1.00 0.53 1.27 4.07 2.79 0.00 0.00 -0.01

time (sec)

N/A 0.326 0.551 0.208 0.653 3.313 0.000 0.000 0.000

Problem 1158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 105 249 18526 542 0 0 -1

N.S.

1 1.00 0.61 1.44 107.09 3.13 0.00 0.00 -0.01

time (sec)

N/A 0.326 0.445 0.188 0.764 3.200 0.000 0.000 0.000

Problem 1159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 130 384 2304 601 0 0 -1

N.S.

1 1.00 0.58 1.72 10.33 2.70 0.00 0.00 -0.00

time (sec)

N/A 0.444 1.028 0.161 0.700 3.541 0.000 0.000 0.000

Problem 1160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 149 446 3766 638 0 0 -1

N.S.

1 1.00 0.56 1.68 14.16 2.40 0.00 0.00 -0.00

time (sec)

N/A 0.561 1.531 0.167 0.799 4.011 0.000 0.000 0.000

Problem 1161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

268 268 118 318 0 468 0 0 -1

N.S.

1 1.00 0.44 1.19 0.00 1.75 0.00 0.00 -0.00

time (sec)

N/A 0.571 2.257 0.247 0.000 3.367 0.000 0.000 0.000

Problem 1162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 104 262 34992 434 0 0 -1

N.S.

1 1.00 0.47 1.19 158.33 1.96 0.00 0.00 -0.00

time (sec)

N/A 0.442 1.675 0.220 1.104 3.443 0.000 0.000 0.000

Problem 1163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 114 235 8312 406 0 0 -1

N.S.

1 1.00 0.66 1.37 48.33 2.36 0.00 0.00 -0.01

time (sec)

N/A 0.325 1.906 0.206 0.722 2.931 0.000 0.000 0.000

Problem 1164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 114 304 3153 600 0 0 -1

N.S.

1 1.00 0.62 1.64 17.04 3.24 0.00 0.00 -0.01

time (sec)

N/A 0.357 1.618 0.197 0.694 3.565 0.000 0.000 0.000

Problem 1165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

228 228 358 362 63653 668 0 0 -1

N.S.

1 1.00 1.57 1.59 279.18 2.93 0.00 0.00 -0.00

time (sec)

N/A 0.473 5.881 0.207 2.666 4.222 0.000 0.000 0.000

Problem 1166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

285 285 213 508 10551 754 0 0 -1

N.S.

1 1.00 0.75 1.78 37.02 2.65 0.00 0.00 -0.00

time (sec)

N/A 0.597 3.927 0.167 1.834 4.748 0.000 0.000 0.000

Problem 1167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

315 315 150 450 243716 564 0 0 -1

N.S.

1 1.00 0.48 1.43 773.70 1.79 0.00 0.00 -0.00

time (sec)

N/A 0.711 3.975 0.265 7.099 3.609 0.000 0.000 0.000

Problem 1168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 132 390 151873 530 0 0 -1

N.S.

1 1.00 0.50 1.47 570.95 1.99 0.00 0.00 -0.00

time (sec)

N/A 0.581 3.229 0.247 4.258 3.695 0.000 0.000 0.000

Problem 1169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 118 365 261332 500 0 0 -1

N.S.

1 1.00 0.54 1.67 1193.30 2.28 0.00 0.00 -0.00

time (sec)

N/A 0.471 2.742 0.217 3.655 4.786 0.000 0.000 0.000

Problem 1170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 110 340 5530 482 0 0 -1

N.S.

1 1.00 0.63 1.95 31.78 2.77 0.00 0.00 -0.01

time (sec)

N/A 0.340 1.963 0.201 1.363 4.049 0.000 0.000 0.000

Problem 1171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

232 232 144 540 7863 716 0 0 -1

N.S.

1 1.00 0.62 2.33 33.89 3.09 0.00 0.00 -0.00

time (sec)

N/A 0.479 3.591 0.162 1.353 2.505 0.000 0.000 0.000

Problem 1172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

277 277 418 605 0 800 0 0 -1

N.S.

1 1.00 1.51 2.18 0.00 2.89 0.00 0.00 -0.00

time (sec)

N/A 0.618 4.550 0.165 0.000 3.873 0.000 0.000 0.000

Problem 1173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 77 290 0 148 0 0 87

N.S.

1 1.00 0.69 2.61 0.00 1.33 0.00 0.00 0.78

time (sec)

N/A 0.072 0.513 0.096 0.000 0.611 0.000 0.000 4.441

Problem 1174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 66 262 0 137 0 0 80

N.S.

1 1.00 0.76 3.01 0.00 1.57 0.00 0.00 0.92

time (sec)

N/A 0.067 0.243 0.090 0.000 0.721 0.000 0.000 4.235

Problem 1175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 53 228 0 125 0 0 53

N.S.

1 1.00 0.87 3.74 0.00 2.05 0.00 0.00 0.87

time (sec)

N/A 0.054 0.114 0.096 0.000 0.505 0.000 0.000 0.170

Problem 1176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 35 152 0 107 0 0 33

N.S.

1 1.00 1.00 4.34 0.00 3.06 0.00 0.00 0.94

time (sec)

N/A 0.046 0.070 0.147 0.000 0.425 0.000 0.000 0.222

Problem 1177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 51 148 0 156 0 0 60

N.S.

1 1.00 0.89 2.60 0.00 2.74 0.00 0.00 1.05

time (sec)

N/A 0.056 0.149 0.102 0.000 0.763 0.000 0.000 4.393

Problem 1178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 65 396 0 175 0 0 87

N.S.

1 1.00 0.78 4.77 0.00 2.11 0.00 0.00 1.05

time (sec)

N/A 0.064 0.446 0.168 0.000 0.567 0.000 0.000 4.702

Problem 1179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 95 502 0 188 0 0 87

N.S.

1 1.00 0.86 4.52 0.00 1.69 0.00 0.00 0.78

time (sec)

N/A 0.071 0.325 0.200 0.000 0.851 0.000 0.000 4.790

Problem 1180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 86 342 0 163 0 0 123

N.S.

1 1.00 0.70 2.78 0.00 1.33 0.00 0.00 1.00

time (sec)

N/A 0.102 0.625 0.112 0.000 0.727 0.000 0.000 4.228

Problem 1181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 72 308 0 149 0 0 96

N.S.

1 1.00 0.77 3.31 0.00 1.60 0.00 0.00 1.03

time (sec)

N/A 0.090 0.307 0.112 0.000 0.515 0.000 0.000 4.598

Problem 1182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

65 65 682 274 0 135 0 0 69

N.S.

1 1.00 10.49 4.22 0.00 2.08 0.00 0.00 1.06

time (sec)

N/A 0.077 6.236 0.114 0.000 1.193 0.000 0.000 4.114

Problem 1183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

61 61 759 195 0 166 0 0 76

N.S.

1 1.00 12.44 3.20 0.00 2.72 0.00 0.00 1.25

time (sec)

N/A 0.081 6.275 0.120 0.000 0.966 0.000 0.000 0.283

Problem 1184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 69 500 0 185 0 0 103

N.S.

1 1.00 0.79 5.75 0.00 2.13 0.00 0.00 1.18

time (sec)

N/A 0.097 0.621 0.177 0.000 1.025 0.000 0.000 0.384

Problem 1185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 112 799 0 206 0 0 108

N.S.

1 1.00 0.91 6.50 0.00 1.67 0.00 0.00 0.88

time (sec)

N/A 0.104 0.553 0.238 0.000 0.906 0.000 0.000 4.523

Problem 1186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 129 684 0 217 0 0 108

N.S.

1 1.00 0.88 4.65 0.00 1.48 0.00 0.00 0.73

time (sec)

N/A 0.124 0.606 0.276 0.000 0.828 0.000 0.000 5.512

Problem 1187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

175 175 1292 512 0 223 0 0 254

N.S.

1 1.00 7.38 2.93 0.00 1.27 0.00 0.00 1.45

time (sec)

N/A 0.224 6.389 0.138 0.000 0.934 0.000 0.000 5.213

Problem 1188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

142 142 1240 481 0 202 0 0 216

N.S.

1 1.00 8.73 3.39 0.00 1.42 0.00 0.00 1.52

time (sec)

N/A 0.205 6.349 0.127 0.000 0.676 0.000 0.000 0.545

Problem 1189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

106 106 1186 447 0 173 0 0 162

N.S.

1 1.00 11.19 4.22 0.00 1.63 0.00 0.00 1.53

time (sec)

N/A 0.175 6.422 0.119 0.000 0.401 0.000 0.000 4.367

Problem 1190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

98 98 1173 380 0 198 0 0 146

N.S.

1 1.00 11.97 3.88 0.00 2.02 0.00 0.00 1.49

time (sec)

N/A 0.175 6.477 0.131 0.000 0.459 0.000 0.000 5.110

Problem 1191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

103 103 1180 488 0 212 0 0 184

N.S.

1 1.00 11.46 4.74 0.00 2.06 0.00 0.00 1.79

time (sec)

N/A 0.177 6.549 0.212 0.000 0.756 0.000 0.000 5.555

Problem 1192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

141 141 1228 712 0 234 0 0 217

N.S.

1 1.00 8.71 5.05 0.00 1.66 0.00 0.00 1.54

time (sec)

N/A 0.198 6.645 0.270 0.000 0.396 0.000 0.000 5.906

Problem 1193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

177 177 1284 822 0 263 0 0 223

N.S.

1 1.00 7.25 4.64 0.00 1.49 0.00 0.00 1.26

time (sec)

N/A 0.222 6.750 0.369 0.000 0.503 0.000 0.000 6.441

Problem 1194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

251 251 1364 545 0 264 0 0 404

N.S.

1 1.00 5.43 2.17 0.00 1.05 0.00 0.00 1.61

time (sec)

N/A 0.414 6.477 0.194 0.000 0.816 0.000 0.000 5.972

Problem 1195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

215 215 1699 514 0 241 0 0 369

N.S.

1 1.00 7.90 2.39 0.00 1.12 0.00 0.00 1.72

time (sec)

N/A 0.398 6.460 0.139 0.000 0.398 0.000 0.000 5.300

Problem 1196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

179 179 2001 483 0 218 0 0 280

N.S.

1 1.00 11.18 2.70 0.00 1.22 0.00 0.00 1.56

time (sec)

N/A 0.388 6.499 0.152 0.000 0.622 0.000 0.000 5.099

Problem 1197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

170 170 1356 595 0 231 0 0 237

N.S.

1 1.00 7.98 3.50 0.00 1.36 0.00 0.00 1.39

time (sec)

N/A 0.371 6.434 0.159 0.000 0.311 0.000 0.000 5.320

Problem 1198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

170 170 1583 800 0 237 0 0 245

N.S.

1 1.00 9.31 4.71 0.00 1.39 0.00 0.00 1.44

time (sec)

N/A 0.374 6.578 0.234 0.000 0.283 0.000 0.000 5.905

Problem 1199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

174 174 1599 879 0 248 0 0 313

N.S.

1 1.00 9.19 5.05 0.00 1.43 0.00 0.00 1.80

time (sec)

N/A 0.374 6.665 0.296 0.000 0.338 0.000 0.000 7.203

Problem 1200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

215 215 2041 905 0 281 0 0 346

N.S.

1 1.00 9.49 4.21 0.00 1.31 0.00 0.00 1.61

time (sec)

N/A 0.408 6.750 0.392 0.000 0.405 0.000 0.000 7.464

[next] [prev] [prev-tail] [front] [up]